Abstract Process Structures (Extended Abstract)

Abstract Process Structures (Extended Abstract)

Process Structures Abstract In 9], we presented a theory of process structures as an equivalent, nameless presentation of the notion of \processes with names" as found in usual process calculi. It was shown there that a coherent set-like theory can be developed for nameless processes , including the counterpart of relation, function, and quotient. The present paper gives an abstract framework i...

Extended Abstract

Extended Abstract

Extended Abstract

Extended Abstract